/* body stuff */
body {
  background-color: #737373;
  color: #a12315;
  font-family: Courier;}

/* all links */
a {
  color: #ff1a00;
  font-weight: bold;}

/* visited link */
a:visited {
  color: #4d0800;}

/* mouse over link */
a:hover {
  color: #000000;}

/* buttons */
button:hover {background-color: #ff1a00;}
button {
  background-color: #a12315;
  border-radius: 0;
  border: 3px solid #000000;
  color: #000000;
  padding: 15px 32px;
  text-align: center;
  display: block;
  font-size: 16px;
  cursor: pointer;
  margin: 0 auto;
  }